if (true) record R {}
